all:
	gnatmake TopMantaTProtAda.adb
 
clean:
	rm *~ TopMantaTProtAda *.o *.ali
